You have chosen Intro to Gödel's Theorems, talk and talk.
All three must be different; choose another text.